00100	(PROG NIL
00200	(SETQ COUNTER (QUOTE
00300	      ((10 (1 0)
00400	        (0 1 1) (1 1 0) (2 1 0) (3 1 0) (4 1 0)
00500		(5 1 0) (6 1 0) (7 1 0) (8 1 0) (9 1 0))
00600	       (10 (0 1)
00700		(0 1 0) (1 1 0) (2 1 0) (3 1 0) (4 1 0)
00800		(5 1 0) (6 1 0) (7 1 0) (8 1 0) (9 1 0)))))
00900	
     

00100	(SETQ A1 (QUOTE
00200	      (10 (1 1)
00300	       (0 1 1) (1 1 1) (2 1 1) (3 1 0) (4 1 0)
00400	       (5 1 0) (6 1 0) (7 1 0) (8 1 0) (9 1 0))))
00500	
00600	(SETQ A2 (QUOTE
00700	      (10 (1 1)
00800	       (0 1 1) (1 1 1) (2 1 0) (3 1 1) (4 1 0)
00900	       (5 1 0) (6 1 0) (7 1 0) (8 1 0) (9 1 0))))
01000	
01100	(SETQ A3 (QUOTE
01200	      (10 (1 1)
01300	       (0 1 1) (1 1 1) (2 1 0) (3 1 0) (4 1 1)
01400	       (5 1 0) (6 1 0) (7 1 0) (8 1 0) (9 1 0))))
01500	
01600	(SETQ A4 (QUOTE
01700	      (10 (1 1)
01800	       (0 1 1) (1 1 1) (2 1 0) (3 1 0) (4 1 0)
01900	       (5 1 1) (6 1 0) (7 1 0) (8 1 0) (9 1 0))))
02000	
02100	(SETQ A5 (QUOTE
02200	      (10 (1 1)
02300	       (0 1 1) (1 1 1) (2 1 0) (3 1 0) (4 1 0)
02400	       (5 1 0) (6 1 1) (7 1 0) (8 1 0) (9 1 0))))
02500	
02600	(SETQ A6 (QUOTE
02700	      (10 (1 1)
02800	       (0 1 1) (1 1 1) (2 1 0) (3 1 0) (4 1 0)
02900	       (5 1 0) (6 1 0) (7 1 1) (8 1 0) (9 1 0))))
03000	
03100	(SETQ A7 (QUOTE
03200	      (10 (1 1)
03300	       (0 1 1) (1 1 1) (2 1 0) (3 1 0) (4 1 0)
03400	       (5 1 0) (6 1 0) (7 1 0) (8 1 1) (9 1 0))))
03500	
03600	(SETQ A8 (QUOTE
03700	      (10 (1 1)
03800	       (0 1 1) (1 1 0) (2 1 1) (3 1 0) (4 1 1)
03900	       (5 1 0) (6 1 0) (7 1 0) (8 1 0) (9 1 0))))
04000	
04100	(SETQ A9 (QUOTE
04200	      (10 (1 1)
04300	       (0 1 1) (1 1 0) (2 1 1) (3 1 0) (4 1 0)
04400	       (5 1 1) (6 1 0) (7 1 0) (8 1 0) (9 1 0))))
04500	
04600	(SETQ A10 (QUOTE
04700	      (10 (1 1)
04800	       (0 1 1) (1 1 0) (2 1 1) (3 1 0) (4 1 0)
04900	       (5 1 0) (6 1 1) (7 1 0) (8 1 0) (9 1 0))))
05000	
05100	(SETQ A11 (QUOTE
05200	      (10 (1 1)
05300	       (0 1 1) (1 1 0) (2 1 1) (3 1 0) (4 1 0)
05400	       (5 1 0) (6 1 0) (7 1 1) (8 1 0) (9 1 0))))
05500	
05600	(SETQ A12 (QUOTE
05700	      (10 (1 1)
05800	       (0 1 1) (1 1 0) (2 1 0) (3 1 1) (4 1 0)
05900	       (5 1 0) (6 1 1) (7 1 0) (8 1 0) (9 1 0))))
06000	
06100	(SETQ A13 (QUOTE
06200	      (10 (1 1)
06300	       (0 1 1) (1 1 0) (2 1 0) (3 1 1) (4 1 0)
06400	       (5 1 0) (6 1 0) (7 1 1) (8 1 0) (9 1 0))))
06500	
     

00100	(SETQ B1 (QUOTE
00200	      (10 (1 1)
00300	       (0 1 0) (1 1 0) (2 1 0) (3 0 0) (4 0 0)
00400	       (5 0 0) (6 0 0) (7 0 0) (8 0 0) (9 0 0))))
00500	
00600	(SETQ B2 (QUOTE
00700	      (10 (1 1)
00800	       (0 1 0) (1 1 0) (2 0 0) (3 1 0) (4 0 0)
00900	       (5 0 0) (6 0 0) (7 0 0) (8 0 0) (9 0 0))))
01000	
01100	(SETQ B3 (QUOTE
01200	      (10 (1 1)
01300	       (0 1 0) (1 1 0) (2 0 0) (3 0 0) (4 1 0)
01400	       (5 0 0) (6 0 0) (7 0 0) (8 0 0) (9 0 0))))
01500	
01600	(SETQ B4 (QUOTE
01700	      (10 (1 1)
01800	       (0 1 0) (1 1 0) (2 0 0) (3 0 0) (4 0 0)
01900	       (5 1 0) (6 0 0) (7 0 0) (8 0 0) (9 0 0))))
02000	
02100	(SETQ B5 (QUOTE
02200	      (10 (1 1)
02300	       (0 1 0) (1 1 0) (2 0 0) (3 0 0) (4 0 0)
02400	       (5 0 0) (6 1 0) (7 0 0) (8 0 0) (9 0 0))))
02500	
02600	(SETQ B6 (QUOTE
02700	      (10 (1 1)
02800	       (0 1 0) (1 1 0) (2 0 0) (3 0 0) (4 0 0)
02900	       (5 0 0) (6 0 0) (7 1 0) (8 0 0) (9 0 0))))
03000	
03100	(SETQ B7 (QUOTE
03200	      (10 (1 1)
03300	       (0 1 0) (1 1 0) (2 0 0) (3 0 0) (4 0 0)
03400	       (5 0 0) (6 0 0) (7 0 0) (8 1 0) (9 0 0))))
03500	
03600	(SETQ B8 (QUOTE
03700	      (10 (1 1)
03800	       (0 1 0) (1 0 0) (2 1 0) (3 0 0) (4 1 0)
03900	       (5 0 0) (6 0 0) (7 0 0) (8 0 0) (9 0 0))))
04000	
04100	(SETQ B9 (QUOTE
04200	      (10 (1 1)
04300	       (0 1 0) (1 0 0) (2 1 0) (3 0 0) (4 0 0)
04400	       (5 1 0) (6 0 0) (7 0 0) (8 0 0) (9 0 0))))
04500	
04600	(SETQ B10 (QUOTE
04700	      (10 (1 1)
04800	       (0 1 0) (1 0 0) (2 1 0) (3 0 0) (4 0 0)
04900	       (5 0 0) (6 1 0) (7 0 0) (8 0 0) (9 0 0))))
05000	
05100	(SETQ B11 (QUOTE
05200	      (10 (1 1)
05300	       (0 1 0) (1 0 0) (2 1 0) (3 0 0) (4 0 0)
05400	       (5 0 0) (6 0 0) (7 1 0) (8 0 0) (9 0 0))))
05500	
05600	(SETQ B12 (QUOTE
05700	      (10 (1 1)
05800	       (0 1 0) (1 0 0) (2 0 0) (3 1 0) (4 0 0)
05900	       (5 0 0) (6 1 0) (7 0 0) (8 0 0) (9 0 0))))
06000	
06100	(SETQ B13 (QUOTE
06200	      (10 (1 1)
06300	       (0 1 0) (1 0 0) (2 0 0) (3 1 0) (4 0 0)
06400	       (5 0 0) (6 0 0) (7 1 0) (8 0 0) (9 0 0))))
06500	
     

00100	(SETQ D5A (QUOTE
00200	      ((10 (1 0)
00300		(0 1 1) (1 1 1) (2 1 0) (3 1 0) (4 1 0)
00400		(5 1 0) (6 1 0) (7 1 1) (8 1 0) (9 1 0))
00500	       (10 (1 1)
00600		(0 0 0) (1 1 0) (2 1 1) (3 0 0) (4 0 1)
00700		(5 0 0) (6 0 1) (7 1 0) (8 0 0) (9 0 0))
00800	       (10 (1 1)
00900		(0 1 0) (1 0 0) (2 0 0) (3 1 0) (4 0 1)
01000		(5 1 1) (6 0 1) (7 0 0) (8 0 0) (9 0 0))
01100	       (10 (1 1)
01200		(0 0 0) (1 0 0) (2 0 0) (3 1 1) (4 0 0)
01300		(5 1 0) (6 0 0) (7 0 0) (8 0 1) (9 1 1))
01400	       (10 (1 1)
01500		(0 1 0) (1 0 0) (2 1 0) (3 0 0) (4 0 0)
01600		(5 0 0) (6 0 0) (7 0 0) (8 1 0) (9 0 0)))))
01700	
01800	(SETQ RM (LIST B1 A6))		)
01900